통사론

~하지
/\와
\/나
t사실
f거짓
P , Q, FISH, 등 : 변수

(운영자는 우선 순위대로 제공됩니다)

소개

일부 부울 수식은 다른 형식으로 변경하여 더 짧게 만들 수 있습니다. 예를 들어

~(~P /\ ~Q)

더 짧은 형태로 변경할 수 있습니다

P\/Q

공식 동안

P \/ ~P

더 짧은 형태로 변경할 수 있습니다

t

도전

이 도전 만 사용하는 부울 식 주어진 것으로, 프로그램 작성에 필요한 /\, \/, ~, t, f하나 개 이상의 짧은 형태가있을 수 있으므로, 괄호 부울 (대문자) 변수, 공백 (최단 형태 출력 )를 변수의 모든 할당에 해당하는 표현식의 문자로 표시합니다. 가장 짧은 코드 (모든 언어)가 이깁니다. I / O는 합리적인 방법으로 수행 할 수 있습니다.

또한 답변을 확인하기가 어렵 기 때문에 코드 작동 방식에 대한 간단한 설명을 포함하는 것이 도움이되지만 필수는 아닙니다.

아 맞다, 나는 실제로 나의 답변을 게시하는 것을 잊었다. 그것은 본질적으로 KSab의 대답 과 똑같은 접근법을 사용합니다. 사용하지만 가장 짧은 유효한 식만 인쇄합니다.

파이썬 3, 493

e=lambda x:eval(x.replace('\\/','+').replace('/\\','%'),None,w)
class V(int):
 def __add__(s,o):return V(s|o)
 def __mod__(s,o):return V(s*o)
 def __invert__(s):return V(-s+1)
import re;from itertools import product as P;t=V(1);f=V(0);i=input();v=re.findall('[A-Z]+',i)
for k in range(1,len(i)):
 for m in P(''.join(v)+'~/\\tf',repeat=k):
  m=''.join(m)
  try:
   for d in P((V(0),V(1)),repeat=len(v)):
    w=dict(zip(v,d))
    if e(m)!=e(i):raise
  except:continue
  print(m);exit()
print(i)

앞서 계산 한 해시는 후행 줄 바꿈을 포함했으며 골프 def e(x): return를 치기 전에였습니다 .e=lambda x:

파이썬 616

특히 효율적은 아니지만 결과가 약 5 자 또는 6자인 입력에 대해서는 적절한 시간 내에 작동합니다. 문자열이 일치하는지 확인하기 위해 모든 변수에 대해 가능한 모든 진리 / 거짓 값 조합을 반복하고 각 변수가 일치하는지 확인합니다. 이를 사용하여 관련 문자로 구성된 가능한 모든 문자열을 검사합니다 (구문 적으로 올바른 문자열 일 필요는 없음).

실제로 모든 크기의 동등한 표현을 인쇄하고 실제로 종료되지는 않습니다.

암호:

c=['t','f'];o=['1 ','0 ']
def e(s,v):
 for k in v:s=s.replace(k,v[k])
 return eval(s)
def z(t,p='~/\\() '):
 w=[]
 if p=='':return[t]*(t not in['']+c)
 for s in t.split(p[0]):w.extend(z(s,p[1:]))
 w.sort(key=lambda v:-len(v));return w
def m(v):
 l=list('~\\/()')+v
 for s in l:yield s
 for r in m(v):
    for s in l:yield s+r
def n(x):
 if x<1:yield []
 else:
    for l in n(x-1):
     for b in o:yield[b]+l
t=raw_input();v=z(t)+c;l=len(v)
for s in m(v):
 g=1
 for y in n(l):
    y[-2:]=o;d=dict(zip(v+['/\\','\\/','~'],y+['and ','or ','not ']))
    try:
     if e(s,d)!=e(t,d):g=0
    except:g=0
 if g:print s

입력 / 출력 :

> ~(~P /\ ~Q)
Q\/P
P\/Q
...

> P /\ ~P
f
~t
...

> (P \/ Q) /\ P
P
(P)
...