32 lines
2.6 KiB
Text
32 lines
2.6 KiB
Text
((s111&!s112&!s113&!s114)|(!s111&s112&!s113&!s114)|(!s111&!s112&s113&!s114)|(!s111&!s112&!s113&s114))
|
|
((s121&!s122&!s123&!s124)|(!s121&s122&!s123&!s124)|(!s121&!s122&s123&!s124)|(!s121&!s122&!s123&s124))
|
|
((s131&!s132&!s133&!s134)|(!s131&s132&!s133&!s134)|(!s131&!s132&s133&!s134)|(!s131&!s132&!s133&s134))
|
|
((s141&!s142&!s143&!s144)|(!s141&s142&!s143&!s144)|(!s141&!s142&s143&!s144)|(!s141&!s142&!s143&s144))
|
|
((s211&!s212&!s213&!s214)|(!s211&s212&!s213&!s214)|(!s211&!s212&s213&!s214)|(!s211&!s212&!s213&s214))
|
|
((s221&!s222&!s223&!s224)|(!s221&s222&!s223&!s224)|(!s221&!s222&s223&!s224)|(!s221&!s222&!s223&s224))
|
|
((s231&!s232&!s233&!s234)|(!s231&s232&!s233&!s234)|(!s231&!s232&s233&!s234)|(!s231&!s232&!s233&s234))
|
|
((s241&!s242&!s243&!s244)|(!s241&s242&!s243&!s244)|(!s241&!s242&s243&!s244)|(!s241&!s242&!s243&s244))
|
|
((s311&!s312&!s313&!s314)|(!s311&s312&!s313&!s314)|(!s311&!s312&s313&!s314)|(!s311&!s312&!s313&s314))
|
|
((s321&!s322&!s323&!s324)|(!s321&s322&!s323&!s324)|(!s321&!s322&s323&!s324)|(!s321&!s322&!s323&s324))
|
|
((s331&!s332&!s333&!s334)|(!s331&s332&!s333&!s334)|(!s331&!s332&s333&!s334)|(!s331&!s332&!s333&s334))
|
|
((s341&!s342&!s343&!s344)|(!s341&s342&!s343&!s344)|(!s341&!s342&s343&!s344)|(!s341&!s342&!s343&s344))
|
|
((s411&!s412&!s413&!s414)|(!s411&s412&!s413&!s414)|(!s411&!s412&s413&!s414)|(!s411&!s412&!s413&s414))
|
|
((s421&!s422&!s423&!s424)|(!s421&s422&!s423&!s424)|(!s421&!s422&s423&!s424)|(!s421&!s422&!s423&s424))
|
|
((s431&!s432&!s433&!s434)|(!s431&s432&!s433&!s434)|(!s431&!s432&s433&!s434)|(!s431&!s432&!s433&s434))
|
|
((s441&!s442&!s443&!s444)|(!s441&s442&!s443&!s444)|(!s441&!s442&s443&!s444)|(!s441&!s442&!s443&s444))
|
|
(s111|s121|s131|s141)&(s211|s221|s231|s241)&(s311|s321|s331|s341)&(s411|s421|s431|s441)
|
|
(s111|s211|s311|s411)&(s121|s221|s321|s421)&(s131|s231|s331|s431)&(s141|s241|s341|s441)
|
|
(s112|s122|s132|s142)&(s212|s222|s232|s242)&(s312|s322|s332|s342)&(s412|s422|s432|s442)
|
|
(s112|s212|s312|s412)&(s122|s222|s322|s422)&(s132|s232|s332|s432)&(s142|s242|s342|s442)
|
|
(s113|s123|s133|s143)&(s213|s223|s233|s243)&(s313|s323|s333|s343)&(s413|s423|s433|s443)
|
|
(s113|s213|s313|s413)&(s123|s223|s323|s423)&(s133|s233|s333|s433)&(s143|s243|s343|s443)
|
|
(s114|s124|s134|s144)&(s214|s224|s234|s244)&(s314|s324|s334|s344)&(s414|s424|s434|s444)
|
|
(s114|s214|s314|s414)&(s124|s224|s324|s424)&(s134|s234|s334|s434)&(s144|s244|s344|s444)
|
|
(s111|s121|s211|s221)&(s311|s321|s411|s421)&(s131|s141|s231|s241)&(s331|s341|s431|s441)
|
|
(s112|s122|s212|s222)&(s312|s322|s412|s422)&(s132|s142|s232|s242)&(s332|s342|s432|s442)
|
|
(s113|s123|s213|s223)&(s313|s323|s413|s423)&(s133|s143|s233|s243)&(s333|s343|s433|s443)
|
|
(s114|s124|s214|s224)&(s314|s324|s414|s424)&(s134|s144|s234|s244)&(s334|s344|s434|s444)
|
|
s111
|
|
s212
|
|
s343
|
|
s442
|