adolfont

(defn maior [x y]
   (if (> x y) x y))

adolfont

# Syntax checker for Classical Propositional Logic

# Examples:
# atomic formulas:
#  :p
#  :q
#  :r
# negation:
#  [:not, :p]
#  [:not, [:not, :q]]]

adolfont

# Verificador de Sintaxe para Lógica Clássica Proposicional em Elixir

# Como executar:
# > elixir sintaxe.exs



# Sintaxe
# Fórmulas atômicas pode ser
#   :p

adolfont

defmodule SatSolver do
  @moduledoc """
  Documentation for SatSolver.
  """

  @doc """
  Values a clause according to a valuation.
  Supposes no repetition of atoms on clauses.

  Returns either true or a clause.

adolfont

\newcommand{\NOT}{\neg}
\newcommand{\IMPLIES}{\to}
\newcommand{\AND}{\wedge}
\newcommand{\OR}{\vee}

\newcommand{\BIMPLI}{\leftrightarrow}
\newcommand{\XOR}{\otimes}
\newcommand{\T}{\begin{tt}T\end{tt}\, }
\newcommand{\F}{\begin{tt}F\end{tt}\, }
\newcommand{\x}{\ensuremath{\times}}

adolfont

defmodule Aula do
  def pi do
    3.1415
  end

  def identidade(x) do
    x
  end

  def oposto(x) do

adolfont

  def pi do
    3.1415
  end

adolfont

  def sorteia_numero_1_a_10 do
    Enum.random(1..10)
  end

adolfont

  def identidade(x) do
    x
  end

adolfont

mix new aula1
cd aula1
mix test
atom lib/aula1.ex