logic.ex

defmodule Logic do
  @spec boolean ~> boolean :: boolean
  def x ~> y do
    not x or y
  end
end

# Modo de usar:
# - Salvar como logic.ex
# - Na mesma pasta, chamar
# > iex logic.ex
# No iex:
# >
IO.puts(
'''
Para fazer teste no iex:
import Logic

p = true
q = false
r = true
p ~> (q and not r)

p = false
p ~> (q and not r)
'''
)